Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
strong typing Trafola-H static link TALE cursor typed lambda-calculus CPL Computational Adequacy Theorem weak typing LOGISCOPE polymorphic lambda-calculus PROgrammed Graph REwriting Systems Obliq Self superscalar dynamic link SYDEL LIMP Fun WPOP strongly typed weakly typed Galileo Accent drop-ins OLGA TypedProlog LAMBDA Second-Order Lambda-calculus PCF lexical scope Emerald Standard ML Ousterhout's dichotomy Turbo Prolog head normalisation theorem FL TS command PPLambda Russell L0 Maisie drop-outs Jade ML simplex printer EL1 A Language for Attributed Definitions bell C-BC Pop-11 Mary Alfl type-ahead scripting language POOL2 enumerated type Amiga E clipboard more...